Computer Science and Engineering

Results: 6228



#Item
511Computing / Engineering / Software engineering / Software maintenance / Software quality / Software testing / Patch / Debugging / Reliability engineering / Software / Upgrade

If It Ain’t Broke, Don’t Fix It: Challenges and New Directions for Inferring the Impact of Software Patches Jon Oberheide, Evan Cooke, Farnam Jahanian Electrical Engineering and Computer Science Department University

Add to Reading List

Source URL: jon.oberheide.org

Language: English - Date: 2015-10-11 18:23:02
512Software engineering / Computer programming / Computing / Functional languages / Evaluation strategy / Computability theory / Lambda calculus / Theoretical computer science / Lazy evaluation / Functional programming / ALGOL 68 / Racket

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2012-08-23 01:56:39
513Academia / Engineering / Knowledge / Bioinformatics / Formal sciences / Computational thinking / Computer science / Neuroinformatics / Complexity / Mathematics / Computational science / Computational mathematics

J Sci Educ Technol:127–147 DOIs10956Defining Computational Thinking for Mathematics and Science Classrooms David Weintrop1,2 • Elham Beheshti3 • Michael Horn1,2,3 • Kai Orton1,2

Add to Reading List

Source URL: ccl.northwestern.edu

Language: English - Date: 2016-05-03 12:24:06
514Computing / Software / System software / Network management / Artificial intelligence / Systems engineering / System administration / Windows Management Instrumentation / Autonomic computing / Fault injection / Fault detection and isolation / Restricted Boltzmann machine

Autonomous Fault Detection in Self-Healing Systems using Restricted Boltzmann Machines Chris Schneider School of Computer Science University of St Andrews Scotland, UK

Add to Reading List

Source URL: www.adambarker.org

Language: English - Date: 2014-09-22 11:20:06
515Computing / Cryptocurrencies / Concurrent computing / Bitcoin / Computer architecture / Fault-tolerant computer systems / Distributed algorithms / Alternative currencies / Paxos / Memcached / MapReduce / Peer-to-peer

Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz II Solutions

Add to Reading List

Source URL: nil.csail.mit.edu

Language: English - Date: 2015-01-05 06:37:34
516Computing / Inter-process communication / Transmission Control Protocol / Remote procedure call / Ur / Network file systems / Computer network security

Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: FallQuiz I

Add to Reading List

Source URL: nil.csail.mit.edu

Language: English - Date: 2015-01-05 06:37:34
517Information science / Knowledge representation / Technical communication / Semantic Web / Ontology / Information / Philosophy / Upper ontology / OntoClean / Class / Model theory / Web Ontology Language

A Method for Evaluating Ontologies Introducing the BFO-Rigidity Decision Tree Wizard A. Patrice Seyed 1 and Stuart C. Shapiro Department of Computer Science and Engineering Center for Cognitive Science University at Buff

Add to Reading List

Source URL: ifomis.uni-saarland.de

Language: English - Date: 2014-05-09 08:17:16
518Formal methods / Software engineering / Unified Modeling Language / Concurrency / Concurrency control / Construction and Analysis of Distributed Processes / Synchronization / Theoretical computer science / UML tool / Mentor Graphics / Computing

                          

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:37
519Computer science / Software engineering / Computing / Functional programming / International Conference on Functional Programming / Programming Language Design and Implementation / Symposium on Principles of Programming Languages / SIGPLAN / ECL programming language / Association for Computing Machinery / Programming language theory

Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

Add to Reading List

Source URL: www.cs.tufts.edu

Language: English - Date: 2013-11-25 15:39:10
520Theoretical computer science / Models of computation / Logic gates / Digital electronics / Quantum information science / Reversible computing / Thermodynamics / Toffoli gate / Fredkin gate / Adder / Quantum computing / Quantum circuit

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-06-09 08:18:16
UPDATE